Roadmap for Improving the Type Checker
๐งLiquid Types
Flag this post
Don't Let It Fade: Preserving Edits in Diffusion Language Models via Token Timestep Allocation
arxiv.orgยท16h
๐๏ธWhisper
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
๐Language Evolution
Flag this post
Issue 496
haskellweekly.newsยท1d
๐Functional Compilers
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท20h
๐Decompilation
Flag this post
Down with template (or not)!
cedardb.comยท20h
๐ฆRust Macros
Flag this post
Building Up And Sanding Down
endler.devยท20h
๐ฉSystems Programming
Flag this post
Building a Visual Diff System for AI Edits (Like Git Blame for LLM Changes)
๐Brotli Internals
Flag this post
Tracking an evolving Discord-based RAT family
reversinglabs.comยท2d
๐ฆ Malware Analysis
Flag this post
Java Generics and Collections โข Maurice Naftalin & Stuart Marks โข GOTO 2025
youtube.comยท1d
ฮปLambda Formalization
Flag this post
Reflection for Aggregates (2020)
๐Type Safety
Flag this post
When AI Agents Go Rogue: Agent Session Smuggling Attack in A2A Systems
unit42.paloaltonetworks.comยท10h
๐ต๏ธVector Smuggling
Flag this post
AI Experiments: Fast Inference with Groq and Third-Party Tools with Kimi K2 in TypingMind
macstories.netยท1d
๐Brotli Dictionary
Flag this post
GHC 9.14.1-rc1 is now available
๐Functional Compilers
Flag this post
Loading...Loading more...